Les techniques de perçage et de débitage des roches étaient bien connues des Romains, qui les pratiquaient couramment dans les galeries de mines et d`aqueducs. Ils avaient pour cela à leur disposition des outils de carriers — masses, pics, burins — en fer, très analogues à ceux que nous...